Formal Techniques For Distributed Objects, Components, And Systems

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Alexandra Silva, Ahmed Bouajjani

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Tim A. C. Willemse, Kirstin Peters

Formal Techniques For Networked And Distributed Systems Forte 2001

Formal Methods For Open Object-based Distributed Systems Ifip Tc6 /

Formal Techniques For Distributed Systems Joint Ifip Wg 6.1

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Formal Methods For Protocol Engineering And Distributed Systems Forte

Type Systems For Distributed Programs: Components And Sessions 3320

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Formal Methods For Components And Objects 7th International Symposium,